package jcml.parser;
public class Pessoa {

	private String nome, endereco;
	
	//@ invariant true;

	Pessoa(){
	}
	
	//@ requires \not_specified; 
	public /*@ pure @*/ void SetNome(String Value){
		nome=Value;
	}
	
	
	
}